#ifndef PRINT_UTILS_H
#define PRINT_UTILS_H

// utility functions for printing concepts, axioms and statistics

void print_exists(Exists* ex);
void print_concept(Concept* c);
void print_subclass_axiom(SubClassAxiom* subclass_ax);
void print_eqclass_axiom(EqClassAxiom* subclass_ax);
void print_subrole_axiom(SubRoleAxiom* subrole_ax);
void print_short_stats();
void print_axioms(Axiom** axioms, int count);

#endif
